program proof
程序证明
热门查询
- tusk n. 长牙；尖头，尖形物 vt. 以牙刺戳；以长牙掘 n. (Tusk)人名；(波)图斯克
- maiming v. 使残废；损害（maim的ing形式）
- primness n. 呆滞；拘谨；一本正经
- fidgeting vi. 烦躁；坐立不安；玩弄 n. 烦躁；坐立不安；烦躁不安的人 vt. 使不安；使烦乱
- waiver n. 弃权，放弃；弃权证书
- disgustingly adv. 讨厌地
- reawakening vt. 苏醒；再度觉醒（reawaken的现在分词形式）
- pitbull 斗牛犬
- provoking v. 激怒；挑拨；诱发（provoke的ing形式） adj. 刺激的；令人生气的，激怒人的
- micromanage 微观管理
- acetic adj. 醋的，乙酸的
- outspoken adj. 坦率的，直言不讳的
- pinstriped adj. 细直条纹的
- conflicted n. 冲突，矛盾；斗争；争执 vi. 冲突，抵触；争执；战斗
- fishbone n. 鱼骨
- outflow n. 流出；流出量；流出物 vi. 流出
- parchment n. 羊皮纸；羊皮纸文稿
- constrained v. 驱使；强迫；勉强（constrain的过去分词） adj. 拘泥的；被强迫的；不舒服的
- math n. 数学（等于mathematics） n. (Math)人名；(德)马特；(柬)马；(英)马思
- inflow n. 流入；流入物；岭量 vi. 流入；货币回笼
考试词汇表
- it service continuity plan
- it should be a regret that
- it should be a wonder that
- it should be accepted that
- it should be admitted that
- it should be apparent that
- it should be arranged that
- it should be believed that
- it should be declared that
- it should be doubtful that
- it should be expected that
- it should be foreseen that
- it should be imagined that
- it should be improper that
- it should be not yet known
- it should be objected that
- it should be observed that
- it should be peculiar that
- it should be pleasing that
- it should be possible that
